|
|
1.
基于随机障碍验证的随机连续系统安全性验证
沈敏捷, 曾振柄, 林望, 杨争峰
计算机应用
2018, 38 (6):
1737-1744.
DOI: 10.11772/j.issn.1001-9081.2017112824
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题，提出一种基于随机障碍验证以及初始集选择的计算方法。首先，介绍了随机连续系统及其安全性验证的相关知识及概念；然后，讨论了如何对于服从几种不同分布的初始变量确定初始状态集，并根据选定的初始状态集使用随机障碍验证的方法将安全性验证问题转化为多项式优化问题；最后，运用平方和松弛方法将问题转化为平方和规划问题，并利用SOSTOOLS工具求得安全性概率的下界。理论分析以及实验结果表明，所提方法具有多项式时间的复杂度，能有效地给出随机连续系统在无界时间内的安全性概率的下界。
参考文献 |
相关文章 |
多维度评价
|
|
